go.pact.im/x/plumb/internal/solve.solver.rollbackLifts (method)

4 uses

	go.pact.im/x/plumb/internal/solve (current package)
		lift.go#L79: func (s *solver) rollbackLifts(mark int) {
		solve.go#L501: 	s.rollbackLifts(mark)
		solve.go#L537: 		s.rollbackLifts(mark) // already instantiated; undo speculative lifts
		solve.go#L545: 		s.rollbackLifts(mark) // constraint near-miss; undo speculative lifts